Dalla ricorsione all'attenzione: affrontare i limiti del modellamento sequenziale
Il modellamento sequenziale tradizionale si basava in gran parte su Reti neurali ricorrenti (RNN) e sulle loro varianti con gate (LSTM, GRU). Sebbene rivoluzionarie per compiti precoci di sequenza a sequenza, queste architetture presentano problemi fondamentali di scalabilità quando devono gestire dipendenze estese. L'introduzione dei meccanismi di attenzione ha rappresentato il salto concettuale essenziale necessario per superare questi limiti e rendere possibile lo sviluppo di sistemi NLP moderni ed estremamente efficaci.
1. Il problema delle dipendenze a lungo raggio
Nei RNN, il percorso di dipendenza tra il token $t_i$ e il token $t_j$ deve attraversare tutti i passaggi intermedi in modo sequenziale. Ciò obbliga il segnale del gradiente durante la retropropagazione a moltiplicarsi ripetutamente attraverso le matrici di pesi, causando un rapido deterioramento (gradiente scomparso) del segnale, rendendo quasi impossibile propagare informazioni utili o segnali di errore su grandi distanze nella sequenza. La complessità del percorso è $O(N)$.
2. Il collo di bottiglia del contesto dimensione fissa
Architetture standard encoder-decoder precedenti all'attenzione richiedevano che il significato completo della sequenza di origine, indipendentemente dalla sua lunghezza, fosse compresso in un singolo vettore di dimensione fissa (il vettore di contesto, $C$). Questo collo di bottiglia limita drasticamente la capacità del modello di conservare tutte le informazioni necessarie, specialmente per input lunghi o complessi, causando una perdita critica di informazioni durante la fase di decodifica.
Contrast the dependency path length required by:
- Traditional Recurrence (e.g., LSTM)
- Attention Mechanism (Query-Key comparison)
Attention creates a direct, non-sequential connection between any output token $Y_j$ and any input token $X_i$ by calculating a weight based on their vector similarity ($Q_j K_i^T$). The dependency path length is effectively $O(1)$ (a direct look-up), removing the constraint of linear path traversal imposed by recurrence ($O(N)$).